JMatch: Java plus Pattern Matching

The JMatch language extends Java with \emph{iterable abstract pattern matching}, pattern matching that is compatible with the data abstraction features of Java and makes iteration abstractions convenient. JMatch has ML-style deep pattern matching, but patterns can be abstract; they are not tied to algebraic data constructors. A single JMatch method may be used in several modes; modes may share a single implementation as a boolean formula. Modal abstraction simplifies specification and implementation of abstract data types. This paper describes the JMatch language and its implementation. (updated April 20, 2005)

Cryptographically Secure Information Flow Control on Key-Value Stores

We present Clio, an information flow control (IFC) system that transparently incorporates cryptography to enforce confidentiality and integrity policies on untrusted storage. Clio insulates developers from explicitly manipulating keys and cryptographic primitives by leveraging the policy language of the IFC system to automatically use the appropriate keys and correct cryptographic operations. We prove that Clio is secure with a novel proof technique that is based on a proof style from cryptography together with standard programming languages results. We present a prototype Clio implementation and a case study that demonstrates Clio's practicality.Comment: Full version of conference paper appearing in CCS 201

Biomarker Exploration in Human Peripheral Blood Mononuclear Cells for Monitoring Sulforaphane Treatment Responses in Autism Spectrum Disorder

Autism Spectrum Disorder (ASD) is one of the most common neurodevelopmental disorders with no drugs treating the core symptoms and no validated biomarkers for clinical use. The multi-functional phytochemical sulforaphane affects many of the biochemical abnormalities associated with ASD. We investigated potential molecular markers from three ASD-associated physiological pathways that can be affected by sulforaphane: redox metabolism/oxidative stress; heat shock response; and immune dysregulation/inflammation, in peripheral blood mononuclear cells (PBMCs) from healthy donors and patients with ASD. We first analyzed the mRNA levels of selected molecular markers in response to sulforaphane ex vivo treatment in PBMCs from healthy donors by real-time quantitative PCR. All of the tested markers showed quantifiability, accuracy and reproducibility. We then compared the expression levels of those markers in PBMCs taken from ASD patients in response to orally-delivered sulforaphane. The mRNA levels of cytoprotective enzymes (NQO1, HO-1, AKR1C1), and heat shock proteins (HSP27 and HSP70), increased. Conversely, mRNA levels of pro-inflammatory markers (IL-6, IL-1beta, COX-2 and TNF-alpha) decreased. Individually none is sufficiently specific or sensitive, but when grouped by function as two panels, these biomarkers show promise for monitoring pharmacodynamic responses to sulforaphane in both healthy and autistic humans, and providing guidance for biomedical interventions

Gender differences in the association between oral health literacy and oral health-related quality of life in older adults

Background: Poor oral health affects quality of life; oral health literacy studies are increasing as it plays an essential role in promoting oral health. However, little is known regarding the gender differences in oral health health-related quality of life (OHRQoL) among older adults. This study aimed to explore the gender differences in oral health literacy and OHRQoL among community-dwelling older adults in Taiwan. Methods: A cross-sectional study design with convenience sampling was undertaken to recruit participants at two community service centres. Data were collected using a structured survey consisted of the demographic characteristics, instrumental activities of daily living, nutrition assessment, oral health literacy and OHRQoL. The logistic regression was used to examine the gender differences in the relationship between oral health literacy and OHRQoL. Results: A total of 202 participants completed the survey. Of which 56.4% (n = 114) were female. Logistic regression analyses showed that after controlling for age, instrumental activities of daily living, nutrition, education level, and average monthly income, better oral health literacy was associated with better oral health quality of life (p = 0.006) in men. Conclusions: The relationship between oral health literacy and OHRQoL was only significant for men. No significant relationship between women’s oral health literacy and their OHRQoL. However, good OHRQoL is an integral part of overall health, but it is affected by differences in oral health and the accessibility of healthcare services. We suggest that gender-specific oral health literacy education should be offered through community health-education programs

A pilot study of interactive-video games in people with mild cognitive impairment

Early preventive strategies for improving cognitive function are crucial for people with mild cognitive impairment (MCI). Cognitive training exercises may improve cognitive functioning. However, there was limited evidence from training programs that combined cognitive-specific and physical activities, particularly in using interactive video games as interventions. This study aimed to evaluate the feasibility and effects of the interactive-video games on cognitive function, physical function, mood status and quality of life in community-dwelling people with MCI. A quasi-experimental study was undertaken. Participants in the intervention group received 60 min group-based training program once per week for 12 weeks. A generalised estimating equation (GEE) was used to examine the main effect, interactions and changes in outcomes over time. Sixteen participants completed the trial with eight in the intervention group and eight in the comparison group. The tolerable acceptance rate, perfect attendance rate, high satisfaction with the training content, and no injuries or falls demonstrated the feasibility of this program. The scores of cognitive function increased in both groups and the interaction between time and groups were significant over 12 weeks of training (p < 0.05). As the result, we determined that interactive-video games can be a safe, feasible, enjoyable intervention and user-friendly among people with MCI in community settings

P4Testgen: An Extensible Test Oracle For P4

We present P4Testgen, a test oracle for the P4-16 language that supports automatic generation of packet tests for any P4-programmable device. Given a P4 program and sufficient time, P4Testgen generates tests that cover every reachable statement in the input program. Each generated test consists of an input packet, control-plane configuration, and output packet(s), and can be executed in software or on hardware. Unlike prior work, P4Testgen is open source and extensible, making it a general resource for the community. P4Testgen not only covers the full P4-16 language specification, it also supports modeling the semantics of an entire packet-processing pipeline, including target-specific behaviors-i.e., whole-program semantics. Handling aspects of packet processing that lie outside of the official specification is critical for supporting real-world targets (e.g., switches, NICs, end host stacks). In addition, P4Testgen uses taint tracking and concolic execution to model complex externs (e.g., checksums and hash functions) that have been omitted by other tools, and ensures the generated tests are correct and deterministic. We have instantiated P4Testgen to build test oracles for the V1model, eBPF, and the Tofino (TNA and T2NA) architectures; each of these extensions only required effort commensurate with the complexity of the target. We validated the tests generated by P4Testgen by running them across the entire P4C program test suite as well as the Tofino programs supplied with Intel's P4 Studio. In just a few months using the tool, we discovered and confirmed 25 bugs in the mature, production toolchains for BMv2 and Tofino, and are conducting ongoing investigations into further faults uncovered by P4Testgen

Sulforaphane from Broccoli Reduces Symptoms of Autism: A Follow-up Case Series from a Randomized Double-blind Study

Introduction: Autism spectrum disorder (ASD) affects 1 in 68 children, is characterized by impaired social interaction and communication as well as restricted or repetitive behaviors, and varies widely with respect to its causes and presentations. There are no validated pharmacologic treatments for the core symptoms of ASD. The social, medical, and economic burdens of ASD on families and caregivers are profound. We recently showed in a small clinical trial that sulforaphane (SF) from broccoli sprouts could significantly reduce the behavioral symptoms of ASD. Methods: After we completed the intervention phase of the original trial (2011-2013), many caregivers used over-the-counter dietary SF supplements in order to attempt to maintain improvements similar to those noted during the intervention. We periodically followed the progress of study participants through the summer of 2016. Results: Families of 16 of the 26 subjects who received SF as part of the original study responded to requests for further information. Of these subjects, 6 did not continue taking SF supplements after the study. Nine of the 16 subjects are still taking an SF supplement and a 10th planned to. We present the edited testimonials of their caregivers in this case series. Conclusions: Many parents and caregivers articulated the positive effects of SF, both during the intervention phase and in the ensuing 3 years reported herein. These observations may contribute to understanding ASD and to treatments that may alleviate some of its symptoms. Diet- and supplement-based therapies deserve careful consideration for their potential to provide vital clinical as well as biochemical information about ASD

Investigation into the use of histone deacetylase inhibitor MS-275 as a topical agent for the prevention and treatment of cutaneous squamous cell carcinoma in an SKH-1 hairless mouse model

<div><p>Cutaneous squamous cell carcinomas are a common form of highly mutated keratinocyte skin cancers that are of particular concern in immunocompromised patients. Here we report on the efficacy of topically applied MS-275, a clinically used histone deacetylase inhibitor, for the treatment and management of this disease. At 2 mg/kg, MS-275 significantly decreased tumor burden in an SKH-1 hairless mouse model of UVB radiation-induced skin carcinogenesis. MS-275 was cell permeable as a topical formulation and induced histone acetylation changes in mouse tumor tissue. MS-275 was also effective at inhibiting the proliferation of patient derived cutaneous squamous cell carcinoma lines and was particularly potent toward cells isolated from a regional metastasis on an immunocompromised individual. Our findings support the use of alternative routes of administration for histone deacetylase inhibitors in the treatment of high-risk squamous cell carcinoma which may ultimately lead to more precise delivery and reduced systemic toxicity.</p></div

Improved estimates of preindustrial biomass burning reduce the magnitude of aerosol climate forcing in the Southern Hemisphere.

Fire plays a pivotal role in shaping terrestrial ecosystems and the chemical composition of the atmosphere and thus influences Earth's climate. The trend and magnitude of fire activity over the past few centuries are controversial, which hinders understanding of preindustrial to present-day aerosol radiative forcing. Here, we present evidence from records of 14 Antarctic ice cores and 1 central Andean ice core, suggesting that historical fire activity in the Southern Hemisphere (SH) exceeded present-day levels. To understand this observation, we use a global fire model to show that overall SH fire emissions could have declined by 30% over the 20th century, possibly because of the rapid expansion of land use for agriculture and animal production in middle to high latitudes. Radiative forcing calculations suggest that the decreasing trend in SH fire emissions over the past century largely compensates for the cooling effect of increasing aerosols from fossil fuel and biofuel sources